//]]>
Unhighlight Highlight
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages by Henderson-Sellers, Brian. Publication: . IX, 106 p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Concise Computer Mathematics by Bagdasar, Ovidiu. Publication: . XII, 109 p. 17 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A General Framework for Reasoning On Inconsistency by Martinez, Maria Vanina. Publication: . VII, 45 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Belief Revision in Non-Classical Logics by Ribeiro, Márcio Moretto. Publication: . XI, 120 p. 5 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Proof Theory for Description Logics by Rademaker, Alexandre. Publication: . X, 106 p. 16 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية